logic programming

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

互联网摘选

Based on the analysis of the principle of digital logic analyzer circuit, this paper discusses the FPGA implementation method of its flip-flop circuit module and presents some programming of part circuits.

在分析数字逻辑分析仪触发电路工作原理的基础上，讨论了其触发电路模块的FPGA实现方法，给出了部分电路的程序设计。

互联网摘选

For solving the mathematic model, this paper designs an improved genetic algorithm based on fuzzy logic theory, and achieve the programming of improved genetic algorithm and simulation with MATLAB.

为求解数学模型，本文设计了一种基于模糊逻辑理论的遗传算法，并利用MATLAB实现了遗传算法的编程和玻璃基板搬运机器人的实例仿真。

互联网摘选

Flexible scheduling based on constraint logic programming and genetic algorithms

基于约束逻辑规划和遗传算法的柔性调度

互联网摘选

After we discuss the problems of the existed solving methods, we show the neatness of the non-monotonic reasoning and logic programming system GKD NMRS.

在综述了已有的解决方案所存在的问题后，指出了非单调的推理与逻辑程序设计系统GKD&NMRS在描述和解决框架问题上的简洁性和直观性。

互联网摘选

Inductive logic programming was defined as the intersection of machine learning and logic programming.

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域.

网络文摘精选

Design electrical lighting and motion control systems, including control logic programming and harness layout.

设计电气照明和控制系统, 包括控制逻辑程序和动力设计.

互联网摘选

But programming automatic routines requires solving logic puzzles the likes of which you see on the LSAT: If the hub senses A during B time of day, then it will do C, but only if D isn't around.

但编写自动化的日常事务需要解决一些类似于法学院入学考试的逻辑题：如果控制中心在一天的A时刻感知到B事件，那么它将执行C任务，但前提是D事件没有发生。

互联网摘选

The article describes the small multipurpose programming logic module LOGO!

介绍了西门子公司生产的小型通用逻辑控制模块LOGO！

互联网摘选

Inductive logic programming based on first-order logic has great expressivity, with which features can be represented in an integrated framework.

归纳逻辑编程（ILP）借助一阶谓词逻辑的强大描述能力，可以自然地表述各种特征，将其整合到一个逻辑框架下，从中学习目标关系。

互联网摘选

NET pages use a compiled, event-driven programming model that improves performance and enables the separation of application logic and user interface.

NET使用编译的、事件驱动编程模型从而提高运行速度和分离应用程序逻辑和用户界面。

互联网摘选

Along with the progress of logic programming, the relation could be described by variable, which made learning tasks abstracted from complicated computation.

随着逻辑程序的发展，这种关系可以通过变量来描述，使得学习任务从复杂的计算中抽象出来。

互联网摘选

Denotational semantics describes the semantics of a programming language in afunctional way, but the first-order temporal logic expresses the semantics of a prog-ramming language in a logical way.

指称语义学是以函数的形式来表达程序的语义，一阶时态逻辑是以逻辑方式表达程序的语义。

互联网摘选

Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.

本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。

互联网摘选

Constrasted with other semantics theories of nonmonotonic logic programming, Answer Set semantics, the kernel of Answer Set programming technology, is concise and simple, and fully utilizes the fruits acquired by the logic programming community, and effectively realizes nonmonotonic reasoning of the logic program.

作为该类编程技术的核心，Answer Set语义相对其它非单调逻辑编程语义理论简洁明了，它充分利用了逻辑编程领域的已有成果，有效地实现了逻辑程序的非单调推理。

互联网摘选

Intelligent Control Strategy of Logic Programming languages

逻辑程序语言的智能控制策略

互联网摘选

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介绍自动推理和逻辑编程.

互联网摘选

This paper creates a frame system by using list processing of logic programming language Prolog, and designs a frame-based knowledge base management system which can be self-defined and self-maintained in many ways.

本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统，设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。

互联网摘选